Total Order Broadcast
特性
Validity: 正しいプロセスがメッセージmをTotally Ordered Broadcastすれば、最終的に(Eventually)そのプロセスはmをTotally Ordered Deriveryする
Uniform Agreement: あるプロセスがメッセージmをTotally Ordered Deriveryする場合、すべての正しいプロセスは最終的に(Eventually)mをTotally Ordered Deliverする
Uniform Integrity: For any message m, every process TO-delivers m at most once, and only if m was previously TO-broadcast by sender(m).
データの整合性の話っぽいkekeho.icon
Uniform Total Order: もしプロセスpとqがメッセージm, m'をTO-Deliverした場合、q TO-delivers m before m'していたら、p TO-delivers m before m'となる
こちらは順序の話kekeho.icon
こちらは順序について何も保証していない
その他
サーベイ論文
2004年なのでかなり古い